(define (problem strips-mprime-x-20)
   (:domain mystery-prime-strips)
   (:objects mutton cod muffin tuna pork sweetroll yogurt
             wonderbread turkey pepper rice guava potato orange baguette
             scallion marzipan cherry love curiosity aesthetics empathy
             satisfaction triumph intoxication lubricity expectation
             understanding achievement dread abrasion grief laceration manitoba
             guanabara quebec alsace kentucky moravia bosnia goias arizona
             oregon surrey bavaria saturn neptune venus pluto)
   (:init (food mutton)
          (food cod)
          (food muffin)
          (food tuna)
          (food pork)
          (food sweetroll)
          (food yogurt)
          (food wonderbread)
          (food turkey)
          (food pepper)
          (food rice)
          (food guava)
          (food potato)
          (food orange)
          (food baguette)
          (food scallion)
          (food marzipan)
          (food cherry)
          (pleasure love)
          (pleasure curiosity)
          (pleasure aesthetics)
          (pleasure empathy)
          (pleasure satisfaction)
          (pleasure triumph)
          (pleasure intoxication)
          (pleasure lubricity)
          (pleasure expectation)
          (pleasure understanding)
          (pleasure achievement)
          (pain dread)
          (pain abrasion)
          (pain grief)
          (pain laceration)
          (province manitoba)
          (province guanabara)
          (province quebec)
          (province alsace)
          (province kentucky)
          (province moravia)
          (province bosnia)
          (province goias)
          (province arizona)
          (province oregon)
          (province surrey)
          (province bavaria)
          (planet saturn)
          (planet neptune)
          (planet venus)
          (planet pluto)
          (eats pepper guava)
          (locale yogurt arizona)
          (eats turkey guava)
          (craves triumph yogurt)
          (harmony love neptune)
          (craves abrasion wonderbread)
          (locale pork quebec)
          (locale guava goias)
          (eats marzipan cod)
          (eats yogurt tuna)
          (locale cod goias)
          (eats cherry turkey)
          (orbits saturn neptune)
          (locale tuna arizona)
          (eats turkey tuna)
          (eats pork cod)
          (harmony intoxication venus)
          (eats turkey cherry)
          (attacks oregon surrey)
          (attacks surrey bavaria)
          (locale marzipan moravia)
          (harmony achievement venus)
          (craves dread yogurt)
          (attacks bosnia goias)
          (attacks goias arizona)
          (eats turkey rice)
          (eats cod tuna)
          (locale potato surrey)
          (craves intoxication wonderbread)
          (harmony empathy neptune)
          (attacks alsace kentucky)
          (locale orange quebec)
          (eats orange scallion)
          (eats pepper cherry)
          (eats mutton pork)
          (eats cod pork)
          (eats marzipan orange)
          (eats baguette guava)
          (locale pepper bavaria)
          (eats rice potato)
          (locale turkey alsace)
          (eats rice turkey)
          (eats sweetroll tuna)
          (attacks moravia bosnia)
          (orbits venus pluto)
          (craves expectation orange)
          (eats yogurt muffin)
          (eats marzipan cherry)
          (harmony lubricity pluto)
          (eats potato scallion)
          (eats tuna turkey)
          (eats tuna cod)
          (harmony triumph venus)
          (eats scallion orange)
          (eats muffin sweetroll)
          (locale wonderbread bosnia)
          (locale scallion surrey)
          (craves grief turkey)
          (locale mutton quebec)
          (locale cherry goias)
          (eats muffin yogurt)
          (harmony aesthetics neptune)
          (eats yogurt wonderbread)
          (eats sweetroll muffin)
          (eats tuna sweetroll)
          (eats scallion potato)
          (eats baguette rice)
          (eats cherry pepper)
          (eats pork mutton)
          (eats potato rice)
          (craves achievement cherry)
          (eats sweetroll pork)
          (eats tuna yogurt)
          (craves understanding marzipan)
          (eats orange marzipan)
          (attacks quebec alsace)
          (craves curiosity cod)
          (orbits neptune venus)
          (attacks kentucky moravia)
          (locale muffin arizona)
          (eats wonderbread yogurt)
          (eats guava baguette)
          (craves empathy pork)
          (locale rice manitoba)
          (harmony expectation venus)
          (attacks manitoba guanabara)
          (eats guava pepper)
          (harmony satisfaction venus)
          (eats pork sweetroll)
          (eats wonderbread mutton)
          (craves satisfaction sweetroll)
          (locale baguette quebec)
          (eats rice baguette)
          (locale sweetroll goias)
          (craves aesthetics muffin)
          (eats cod marzipan)
          (attacks arizona oregon)
          (craves laceration cherry)
          (harmony curiosity neptune)
          (craves lubricity rice)
          (craves love mutton)
          (eats mutton wonderbread)
          (eats guava turkey)
          (attacks guanabara quebec)
          (eats cherry marzipan)
          (harmony understanding neptune))
   (:goal (and (craves abrasion pepper))))